function change_color() {
    document.getElementById('water').style.color='green';
}